Streaming Computation of Delaunay Triangulations Martin Isenburg University of California at Berkeley Yuanxin Liu

Source URL: cs.unc.edu

Call for Papers Scientiae Oxford 2016 St Anne’s College, University of Oxford, 5-7 July 2016 Keynote Speakers: Martin Kemp (Oxford), Wouter Hanegraaff (Amsterdam), Third Speaker TBC Convenor: Georgiana Hedesan (Oxford)

Source URL: philsci.org

BINARY CODES AND KASTELEYN 3-MATRICES ˇ MARTIN LOEBL AND PAVEL RYT´IR Department of Applied Mathematics, Charles University, Malostransk´e n´

Source URL: iti.mff.cuni.cz

On Metamodel Superstructures Employing UML Generalization Features Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|ms|lhamann|fhilken}@informat

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Metamodeling
• Scientific modeling
• Software design
• Metaclass
• ECO
• Object Process Methodology
• Relational model
• Class
• Model-driven architecture
• Kermeta

Taclets and the KeY Prover Extended Abstract Martin Giese Chalmers University of Technology Department of Computing Science

Source URL: heim.ifi.uio.no

Procedural House Generation: A method for dynamically generating floor plans Jess Martin∗† University of North Carolina, Chapel Hill Figure 1: Left: Modeled house based on floor plan generated by algorithm. Right: T

Source URL: axon.cs.byu.edu

Adding Local Exploration to Greedy Best-First Search in Satisficing Planning Fan Xie and Martin Müller and Robert Holte Computing Science, University of Alberta Edmonton, Canada {fxie2,mmueller,rholte}@ualberta.ca

Source URL: webdocs.cs.ualberta.ca

How Achaeans Would Construct Columns in Troy Alekh Jindal, Felix Martin Schuhknecht, Jens Dittrich, Karen Khachatryan, Alexander Bunte Information Systems Group, Saarland University http://infosys.cs.uni-saarland.de

Source URL: infosys.uni-saarland.de

Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

BEAMS separating the wheat from the chaff in supernova analysis Martin Kunz University of Geneva

Source URL: cap.unige.ch